Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
171	6 base types types patterns matching clause seq. constants Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:53:23 Logic Computability theory Mathematical logic Theoretical computer science Symbol Substitution Lambda calculus Natural deduction
172	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
173	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
174	LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez, Asterios Katsifodimos, Ioana Manolescu, Alexandra Roatis Leo Team - INRIA Saclay & Université de Paris-Sud XI The LiquidXML Platform Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:51 File sharing French Institute for Research in Computer Science and Automation Theoretical computer science Peer-to-peer Academia
175	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-16 07:08:02 Theoretical computer science Electronic engineering Models of computation Electrical engineering Computer arithmetic Digital electronics Logic gates Reversible computing Thermodynamics Adder Fredkin gate Quantum computing
176	PSBLAS 2.4 & MLD2P4 1.2: Sparse Computations and Iterative Solvers on Parallel Computers PSBLAS 2.4 & Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-10-09 08:41:31 Numerical analysis Numerical linear algebra Mathematics Theoretical computer science Preconditioner Graph partition Basic Linear Algebra Subprograms Sparse matrix Iterative method
177	Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:30 Mathematics Game theory Algorithm Mathematical logic Theoretical computer science Greedy algorithm Mechanism design Nash equilibrium
178	university of copenhagen department of computer science Faculty of Science Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:20:59 Software engineering Computing Theoretical computer science Logic in computer science Compiler construction Programming language implementation Semantics Compiler Eval Denotational semantics Correctness Functional programming
179	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
180	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint

UPDATE